a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/ConstraintMapBuilder.java,ConstraintMapBuilder,build,#Set#Set#AnnotatedTypeFactory#,51
In pattern: SUPERPATTERN
Frequency: 6
Non-data size: 3
Instances
1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/ConstraintMapBuilder.java,ConstraintMapBuilder,build,#Set#Set#AnnotatedTypeFactory#,51
1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/DefaultTypeArgumentInference.java,DefaultTypeArgumentInference,clampToLowerBound,#InferenceResult#List#AnnotatedTypeFactory#,419
1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/EqualitiesSolver.java,EqualitiesSolver,mergeConstraints,#TypeVariable#Equalities#InferenceResult#ConstraintMap#AnnotatedTypeFactory#,366
1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/SupertypesSolver.java,SupertypesSolver,mergeLubTypeWithEqualities,#TypeVariable#AnnotatedTypeMirror#ConstraintMap#AnnotatedTypeFactory#,89
1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/SupertypesSolver.java,SupertypesSolver,mergeLubAnnosWithEqualities,#TypeVariable#Map#ConstraintMap#AnnotatedTypeFactory#,144
1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/SupertypesSolver.java,SupertypesSolver,targetToTypeLubs,#Set#ConstraintMap#AnnotatedTypeFactory#,213